Qué (quién) es Algebra of Communicating Processes - definición
Algebra of communicating processes
The algebra of communicating processes (ACP) is an algebraic approach to reasoning about concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras or process calculi.
Algebra of Communicating Processes
<theory> (ACP)
Compare CCS.
["Algebra of Communicating Processes with Abstraction",
J.A. Bergstra & J.W. Klop, Theor Comp Sci 37(1):77-121 1985 ].
[Summary? ]
(1994-11-08)
Communicating sequential processes
FORMAL LANGUAGE FOR CONCURRENT SYSTEMS
Communicating Sequential Processes; Cooperating sequential processes
In computer science, communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras, or process calculi, based on message passing via channels.
